Strongly minimal Steiner systems II: coordinatization and quasigroups

Each strongly minimal Steiner k-system (M, R) (where is R a ternary collinearity relation) can be ‘coordinatized’ in the sense of (Ganter–Werner 1975) by quasigroup if k prime-power. We show this coordinatization never definable and k-systems constructed (Baldwin–Paolini 2020) interpret quasigroup. Nevertheless, refining construction, prime power, each (2, k)-variety quasigroups (Definition 3.10) there that interprets k-system.